$\forall$${\it the\_w}$:World, $i$:Id, $t$:$\mathbb{N}$, $x$:Id. s($i$;$t$).$x$ $\in$ $\mathbb{Q}\rightarrow$vartype($i$;$x$)